Lightweight Bytecode Verification

In this paper, we provide a theoretical foundation for and improvements to the existing bytecode verification technology, a critical component of the Java security model, for mobile code used with the Java “micro edition” (J2ME), which is intended for embedded computing devices. In Java, remotely loaded “bytecode” class files are required to be bytecode verified before execution, that is, to undergo a static type analysis that protects the platform's Java run-time system from so-called type confusion attacks such as pointer manipulation. The data flow analysis that performs the verification, however, is beyond the capacity of most embedded devices because of the memory requirements that the typical algorithm will need. We propose to take a proof-carrying code approach to data flow analysis in defining an alternative technique called “lightweight analysis” that uses the notion of a “certificate” to reanalyze a previously analyzed data flow problem, even on poorly resourced platforms. We formally prove that the technique provides the same guarantees as standard bytecode safety verification analysis, in particular that it is “tamper proof” in the sense that the guarantees provided by the analysis cannot be broken by crafting a “false” certificate or by altering the analyzed code. We show how the Java bytecode verifier fits into this framework for an important subset of the Java Virtual Machine; we also show how the resulting “lightweight bytecode verification” technique generalizes and simulates the J2ME verifier (to be expected as Sun's J2ME “K-Virtual machine” verifier was directly based on an early version of this work), as well as Leroy's “on-card bytecode verifier,” which is specifically targeted for Java Cards.     

Age and individual differences in prospective memory during a "Virtual Week": The roles of working memory, vigilance, task regularity, and cue focality.

Young (ages 18–22 years) and older (ages 61–87 years) adults (N = 106) played the Virtual Week board game, which involves simulating common prospective memory (PM) tasks of everyday life (e.g., taking medication), and performed working memory (WM) and vigilance tasks. The Virtual Week game includes regular (repeated) and irregular (nonrepeated) PM tasks with cues that are either more or less focal to other ongoing activities. Age differences in PM were reduced for repeated tasks, and performance improved over the course of the week, suggesting retrieval was more spontaneous or habitual. Correlations with WM within each age group were reduced for PM tasks that had more regular or focal cues. WM (but not vigilance) ability was a strong predictor of irregular PM tasks with less focal cues. Taken together, these results support the hypothesis that habitual and focally cued PM tasks are less demanding of attentional resources (specifically, WM), whereas tasks that are more demanding of controlled attentional processes produce larger age differences, which may be attributable to individual differences in WM. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Variable Expression of GABAA Receptor Subunit Gamma 2 Mutation in a Nuclear Family Displaying Developmental and Encephalopathic Phenotype

Mutations in GABA_A receptor subunit genes (GABRs) are a major etiology for developmental and epileptic encephalopathies (DEEs). This article reports a case of a genetic abnormality in GABRG2 and updates the pathophysiology and treatment development for mutations in DEEs based on recent advances. Mutations in GABRs, especially in GABRA1, GABRB2, GABRB3, and GABRG2, impair GABAergic signaling and are frequently associated with DEEs such as Dravet syndrome and Lennox–Gastaut syndrome, as GABAergic signaling is critical for early brain development. We here present a novel association of a microdeletion of GABRG2 with a diagnosed DEE phenotype. We characterized the clinical phenotype and underlying mechanisms, including molecular genetics, EEGs, and MRI. We then compiled an update of molecular mechanisms of GABR mutations, especially the mutations in GABRB3 and GABRG2 attributed to DEEs. Genetic therapy is also discussed as a new avenue for treatment of DEEs through employing antisense oligonucleotide techniques. There is an urgent need to define treatment targets and explore new treatment paradigms for the DEEs, as early deployment could alleviate long-term disabilities and improve quality of life for patients. This study highlights biomolecular targets for future therapeutic interventions, including via both pharmacological and genetic approaches.     

Analysis of Salmonella serotypes from selected carcasses and raw ground products sampled prior to implementation of the Pathogen Reduction; Hazard Analysis and Critical Control Point Final Rule in the US

In July 1996, the US Department of Agriculture (USDA), Food Safety and Inspection Service (FSIS), published the Pathogen Reduction; Hazard Analysis and Critical Control Point (HACCP) Systems final rule to improve food safety of meat and poultry products. The final rule established, among other requirements, pathogen reduction performance standards for Salmonella for food animal carcasses and raw ground products. The final rule is to be fully implemented in three stages in successively smaller federally inspected meat and poultry slaughter and processing establishments. Implementation began in January 1998 and was completed in January 2000. Samples of carcasses of four species of food animals (cattle, swine, chickens, turkeys), and raw ground product from each of these species, were collected by FSIS from establishments prior to implementation of the final rule and cultured for Salmonella. This paper reports Salmonella serotype results of samples collected from June 1997 through August 1998. These results represent a baseline for future comparisons.     

Risk of Vibrio transmission linked to the consumption of crustaceans in coastal towns of Côte d'Ivoire

The purpose of this study was to assess the risk of Vibrio spp. transmission from crustaceans to humans in two coastal towns of C?te d'Ivoire. Bacteriologic analysis was performed on 322 crustacean samples obtained from six markets in Abidjan and one in Dabou. Suspected Vibrio colonies were identified by morphological, cultural, biochemical, and molecular tests and matrix-assisted laser desorption ionization-time-of-flight mass spectrometry. PCR assays were used to further characterize Vibrio strains. A survey on consumption of crustaceans was conducted among 120 randomly selected households in Abidjan. Overall, Vibrio spp. were isolated from 7.8% of the crustacean samples studied, at levels as high as 6.3 log CFU/g. Of the Vibrio strains identified, 40% were V. alginolyticus, 36% were V. parahaemolyticus, and 24% were nontoxigenic V. cholerae; the latter two species can cause mild to severe forms of seafood-associated gastroenteritis. Among interviewed households, 11.7% reported daily consumption of crustaceans, confirming the high probability of exposure of human population to Vibrio spp., and 7.5% reported symptoms of food poisoning after consumption of crustaceans. The absence of genes encoding major virulence factors in the studied strains, i.e., cholera toxin (ctxA and ctxB) in V. cholerae and thermostable direct hemolysin (tdh) and thermostable direct hemolysin-related hemolysin (trh) in V. parahaemolyticus, does not exclude the possibility of exposure to pathogenic strains. However, human infections are not common because most households (96.7%) boil crustaceans, usually for at least 45 min (85.9% of households) before consumption.     

Accelerating protein release from microparticles for regenerative medicine applications

There is a need to control the spatio-temporal release kinetics of growth factors in order to mitigate current usage of high doses. A novel delivery system, capable of providing both structural support and controlled release kinetics, has been developed from PLGA microparticles. The inclusion of a hydrophilic PLGA–PEG–PLGA triblock copolymer altered release kinetics such that they were decoupled from polymer degradation. A quasi zero order release profile over four weeks was produced using 10% w/w PLGA–PEG–PLGA with 50:50 PLGA whereas complete and sustained release was achieved over ten days using 30% w/w PLGA–PEG–PLGA with 85:15 PLGA and over four days using 30% w/w PLGA–PEG–PLGA with 50:50 PLGA. These three formulations are promising candidates for delivery of growth factors such as BMP-2, PDGF and VEGF. Release profiles were also modified by mixing microparticles of two different formulations providing another route, not previously reported, for controlling release kinetics. This system provides customisable, localised and controlled delivery with adjustable release profiles, which will improve the efficacy and safety of recombinant growth factor delivery.     

Hydrocarbon stress response of four tropical plants in weathered crude oil contaminated soil in microcosms

Responses to hydrocarbon stress of four tropical plants Panicum maximum, Zea mays, Centrosema sp. and Pueraria sp. grown in crude oil contaminated soils (1%, 5% and 10% w/w) were evaluated in a green house. Plants’ percentage survival, shoot heights, biomass development, and phytotoxicity susceptibility were used as indicators of growth, stress response and hydrocarbon tolerance. Relative to control, shoot heights and biomass of plants reduced with increasing hydrocarbon concentration, but 1% w/w oil-in-soil, stimulated shoot heights (5.9% and 6.4%) and weights (21.9% and 2.3%) in P. maximum and Centrosema sp. respectively. P. maximum tolerated the contaminant stress with biomass yields of 113% and 57% of control respectively in 1% and 10% w/w oil-in-soil. All the plants had 100% survival in 1% w/w, but considerably reduced survival in 10% w/w oil-in-soil. These results show that P. maximum has great potential for phytoremediation of petroleum contaminated soil.     

Television as a Design Tool

Television is not only the most powerful medium of communication that our age has produced; it is also the most flexible. Yet its common role in education is that of a mere substitute, called in to mitigate the effects of the shortage of teachers or (to look at the matter historically) the excess of students. That it can be more than that is shown by two University of Nebraska faculty members, describing an experiment in the creative use of television as a tool in the development of that awareness of the characteristics of space which is among the architect's indispensable qualifications.